Coproducts of Monads on Set Jiˇr´ı Ad´amek, Stefan Milius Nathan Bowler Paul B. Levy

Source URL: www.cs.bham.ac.uk

• Algebra
• Abstract algebra
• Monad
• Coproduct
• Universal property
• Limit
• Monoidal categories
• Adjoint functors
• Category theory
• Functional programming

Process of purchasing Real Estate in the market When a person acquires real estate, she/he also acquires a set of rights, including possession, control and transfer rights. Investment in real estate involves the commitm

Source URL: eagle-essays.com

• Investment
• Financial risk
• Actuarial science
• Mathematical finance
• Modern portfolio theory
• Risk
• Diversification
• Valuation
• Real estate appraisal
• Financial economics
• Finance
• Economics

Ph12b Solution Set 4 February 5, The state |ψiS ⊗ |uniE is transformed to p
√

Source URL: www.theory.caltech.edu

Hitting Set Algorithms for Fast Data Recovery in the Face of Geographic Correlated Attacks Alon Efrat Esther Ezra

Source URL: www.cims.nyu.edu

• Computational geometry
• Ε-net
• Connectivity
• NP
• Erasure code
• Planar graph
• NP-complete problems
• Dominating set
• Tutte polynomial
• Graph theory
• Theoretical computer science
• Mathematics

FALLENSTEIN’S MONSTER (BRIEF TECHNICAL NOTE) NATE SOARES This document is part of a collection of quick writeups of results from the December 2013 MIRI research workshop, written during or directly

Source URL: intelligence.org

• Set theory
• Cardinal number
• Ordinal number
• Constructible universe
• Inaccessible cardinal
• Function
• Model theory
• Order
• Symbol
• Mathematics
• Large cardinals
• Mathematical logic

Accuracy and Validation of Results Georg KRESSE ¨ Materialphysik and Center for Computational Material Science Institut fur Universit¨at Wien, Sensengasse 8 4, A-1090 Wien, Austria

Source URL: cms.mpi.univie.ac.at

• Plasticity
• Solid mechanics
• Quantum field theory
• Basis set
• Cutoff
• Reciprocal lattice
• Yield
• Stress
• Pulay Stress
• Physics
• Mechanics
• Elasticity

Efficient Set Operations in the Presence of Malicious Adversaries Carmit Hazay∗ Kobbi Nissim† November 25, 2010

Source URL: www.eng.biu.ac.il

• Computational complexity theory
• Secure multi-party computation
• Commitment scheme
• Homomorphic encryption
• Secure two-party computation
• Paillier cryptosystem
• Oblivious transfer
• Zero-knowledge proof
• Communication complexity
• Cryptography
• Cryptographic protocols
• Public-key cryptography

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.paultaylor.eu

• Theory of computation
• Mathematical logic
• General topology
• Functional analysis
• Computable number
• Computable function
• Continuous function
• Baire space
• Topological space
• Computability theory
• Mathematics
• Topology

Reprinted from Proceedings of the 2011 ACM Symposium on Principles of Programming Languages (POPL’11) Resourceable, Retargetable, Modular Instruction Selection Using a Machine-Independent, Type-Based Tiling of Low-Lev

Source URL: www.cs.tufts.edu

• Software engineering
• Instruction set architectures
• Instruction selection
• Code generation
• ALGOL 68
• Intermediate language
• Hamming weight
• ARM architecture
• Programming language theory
• Computing
• Compiler construction

BRICS Basic Research in Computer Science BRICS RSHangos et al.: Some Complexity Problems on Single Input Double Output Controllers Some Complexity Problems on

Source URL: www.brics.dk

• Graph
• Matching
• Bipartite graph
• Independent set
• Matroid theory
• Tutte polynomial
• Path decomposition
• Graph theory
• Mathematics
• NP-complete problems